perm filename CHECKE.AX[W76,JMC]1 blob sn#197586 filedate 1976-01-18 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	AXIOM BOARD: BOARD = CROSS(SIDE,SIDE)\{<0,0>,<7,7>}
C00003 ENDMK
C⊗;
AXIOM BOARD: BOARD = CROSS(SIDE,SIDE)\{<0,0>,<7,7>};;

AXIOM SIDE: SIDE = INTERVAL(0,7);;

DECLARE INDCONST BOARD, SIDE ε SET;